Nuprl Definition : es-index
0,22
postcript
pdf
index(
e
) == index(es-eq(
es
);IdLnkDeq;es-pred?(
es
);es_info(
es
);1of(es-oaxioms(
es
));
e
)
latex
clarification:
es-index(
es
;
e
) == index(es-eq(
es
);IdLnkDeq;es-pred?(
es
);es_info(
es
);1of(es-oaxioms(
es
));
e
)
latex
Definitions
index(
dE
;
dL
;
pred?
;
info
;
p
;
r
)
,
IdLnkDeq
,
es-pred?(
es
)
,
es_info(
es
)
,
1of(
t
)
FDL editor aliases
es-index
origin